Categorical logic - PDFSEARCH.IO - Document Search Engine

Categorical logic
Results: 79

#	Item
41	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory Mathematics Abstract algebra
42	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´ e Paris Diderot, and INRIA, France Add to Reading List Source URL: ncatlab.org Language: English Metalogic Category theory Deduction Structure Universal algebra Model theory Symbol Entailment Monoid Abstract algebra Mathematics Logic
43	“Toposes as higher-order theories” prof. Peter Johnstone University of Cambridge Abstract The elementary reformulation of topos theory by Lawvere and Add to Reading List Source URL: www.dmi.unisa.it Language: English - Date: 2010-04-20 04:57:15 Mathematical constructivism Epistemology William Lawvere Mathematical logic Alexander Grothendieck Elementary definition Intuitionism Categorical logic Proof theory Mathematics Sheaf theory Topos
44	Under consideration for publication in Math. Struct. in Comp. Science A Categorical Quantum Logic SAMSON ABRAMSKY ROSS DUNCAN Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:05 Biproduct Closed monoidal category Compact closed category Dagger compact category Quantum logic Coproduct Braided monoidal category Closed category Category of finite dimensional Hilbert spaces Category theory Mathematics Monoidal categories
45	Computational Category Theory D.E. Rydeheard University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-05-20 11:35:35 Functors Limit Topos Equivalence of categories Category of topological spaces Categorical logic Cartesian closed category Initial and terminal objects Universal property Category theory Mathematics Adjoint functors
46	[removed] Add to Reading List Source URL: logic.sysu.edu.cn Language: English - Date: 2011-03-22 17:26:36 Syllogism Ai Categorical proposition Existential quantification Critical thinking Science Traditional logic Logic Arguments
47	arXiv:1210.1478v1 [math.HO] 25 Sep[removed]Axiomatic Method and Category Theory Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-10-04 20:21:09 Axiomatic system Categorical logic Category theory Mathematical logic Foundations of mathematics Logicism William Lawvere Nicolas Bourbaki Function Mathematics Philosophy Philosophy of mathematics
48	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2009-10-21 13:04:30 Predicate logic Non-classical logic Association for Symbolic Logic Workshop on Logic Language Information and Computation Modal logic Federated Logic Conference Informal logic Mereology Categorical logic Logic Mathematical logic Philosophical logic
49	Relating first-order set theories, toposes and categories of classes Steve Awodey Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-30 07:46:02 Model theory Predicate logic Z notation Sheaf theory Topos Categorical logic Axiom schema of replacement Sheaf Constructive set theory Mathematical logic Mathematics Logic
50	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: maths.mq.edu.au Language: English - Date: 2010-07-27 22:21:28 Adjoint functors Functors Higher category theory Categorical logic Lawvere theory William Lawvere Clone Monad Sheaf Category theory Abstract algebra Mathematics

UPDATE